refine proxy.py for pypy