Updating INSTALL.