Updating the INSTALL file