deleted gevent source