Minor fixes to bash install script