Fix header file name