Armin Rigo <armin.rigo at gmail.com> added the comment: The fix for now is like your diff. Thanks! ---------- status: duplicate -> resolved ________________________________________ PyPy bug tracker <tracker at bugs.pypy.org> <https://bugs.pypy.org/issue1487> ________________________________________