[headercheck] Fix missing headers See merge request !114 (cherry picked from commit 29134e9e) f2fa7fbf [headercheck] Fix missing headers