updated INSTALL file