Updated the Linux specific information in the installation manual.