Improved SourceFile initializer.