Added file field to SourcePosition