Updating: improving INSTALL