changing header file extensions