Martin v. Löwis added the comment: After upgrading the tools, this problem is apparently gone. ---------- resolution: -> works for me status: open -> closed __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue2214> __________________________________