Tweaks to the primitive Install.sh