Updated the INSTALL documentation.