a very obvious and trivial fix, which should be picked to 3.3 and 3.4 to remove a configure error: ddd37c2b
Looks good to me. Volker
Pushed to v3-4-test and v3-3-test. Closing out bug report. Thanks!