amend the INSTALL file