modifying INSTALL file