Fix header file missing