renaming .c files used in "#include ..." to .h