Updated INSTALL documentation.