INSTALL updated.