Re: [PyCUDA] Context desctruction vs. profiler (patch)