add SourceFile.__unicode__