make travis use gevent-dev