fix INSTALL