The following files in GCC are still distributed under GPL version 1, or, at your option, any later version. Should they be updated to refer to GPL version 2? Yes!