* install_linux.txt: