PS: The patch for __file__ and co_filename is causing a minor problem with the hotspot profiler and filenames. I remember a plan to remove hotspot from Python 3.x. Shall I leave the problem alone?