modify INSTALL file