Re: [Python-Dev] how important is setting co_filename for a module being imported to what __file__ is set to?