added more stupidity to build-libsphinx.sh