Fixed INSTALL documentation for Linux