The latest update introduced some funny whitespace, but since they are
externally maintained files, we add them to the list of files to ignore.