jsternberg Merge pull request #9028 from cbushko/lint-the-c-dirs …