Work on Windows hack for pypy