Rename install.bash to install.sh

.sh seems to be the convention.

Also, issue in install.sh that was introduced in the previous commit is fixed.