More minor tweaks to the install script