Swap Pyrex to Pyrex-real.

Looks like the Pyrex pypi repository is dead and has moved to
Pyrex-real.