correction to modified time for externally reported derived files