Fix issue 861: configure.sh fails on mac os x