Thomas Herve <therve at free.fr> added the comment: Okay then. At least the issue is recorded somewhere, if someone has the same problem. _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue3051> _______________________________________