DerivedFile: lazy load File handle, and better synchronization