fix to install-linux.sh