Update INSTALL_LINUX.txt