Some small fixes to install script