Cleaner SourceString.load_file