Add executable permissions to INSTALL.sh