Don't check whether header files are out-of-date twice