minor tweaks to installation script