a second fix to INSTALL script