Small fixes to install.sh