Fix a bug in file times.
Expose the headers.