Got rid of full pathnames in "generated from" comments, so that these files are the same no mater which machine they've been generated on.