import from portable-pypy