Adds one more test to CI's header-check test