Do you have a copyright assignment (individual or corporate) on file with the FSF? I think this change is large enough to need one, and I don't see anything obvious in copyright.list. -- Joseph S. Myers joseph@codesourcery.com