v0.1.2: changed the default DNS server to Cloudflare's