It was previously possible to do the same by removing the source
repositories. But that's not easy to do when installing with pip.

The following command now installs without the embedded libraries:

,----
| gevent_embed=no pip install gevent
`----