Don't patch DNS because it doesn't work in the version of Gevent that we use.
Fix Gevent requirement.
Update default ini file.