Update INSTALL script