Merge "Skip C-verification of GL headers." into main