Don't update the headers, just check.

Otherwise tools like jenkins complain as the source files get modified.