[pypy-ipython] correct provides