fix INSTALL.sh