A trivial update to the INSTALL file.