Changed header file extensions