update INSTALL_linux.md