work with gevent/0.13.8