Bug fix: don't try to auto-check header files.