Correction to gpl.texi in the gcc-4.5.4 build.