Update INSTALL documentation