Fixing INSTALL script