Update INSTALL documentation.