Fix INSTALL file