Add more info to the INSTALL doc