fixed name in install_linux.sh