Fixed bugs in INSTALL.sh