fix INSTALL file