Fix filename in C file header