heroku: do not use gevent