Fix a bug in file times and expose the headers