Tweak naming in install.sh