gevent 0.1 has been released, so we no longer need this