Apply patch 4. Fix the stub generator to insert proper license text in autogenerated output. I left out the result of running this script due to a comment earlier to say there was a problem with the def files in my original patch.