Update the INSTALL doc for cmake