This patch is missing an update to install.texi (with INSTALL regenerated) to reflect the changed default, and a corresponding NEWS entry. -- Joseph S. Myers joseph@codesourcery.com