Fix for make header_check