Fix INSTALL file;