missing header file in output