[pypy-dev] pypy-config