Rename install-linux.sh to install-linux-debian-ubuntu.sh