Now that GCC's config.if no longer sets gcc_version_trigger
unconditionally, it is possible to replace src's very outdated version
with that from GCC.  DJ, you may want to add this file to the list of
files you monitor and keep in sync between the two repositories, if
you want.