Update install.texi, and regenerate INSTALL.