Fixes to install.bash