Updated the INSTALL doc