Linux compatibility fixes

Replace /bin/sh with /bin/bash everywhere.
Protect against INSTALL_PREFIX == PREFIX in INSTALL.sh