Modify INSTALL file