Modified INSTALL file