Updated INSTALL documentation