Fix headers and @file for .c