Updating INSTALL file.