[headercheck] add missing header See merge request !174 (cherry picked from commit cd2affc7) 395e743c [headercheck] add missing header