Small fixes to install script