Changing extensions of C++ header files.