Make `./configure` work on more platforms

Many OSes don't have bash in /bin, and in this case the script can be easily be made POSIX-compatible (hence /bin/sh).