[pypy-dev] using libffi from rpython - a better way?