INSTALL file fix