Using Google's DNS servers was very glitchy, and rarely succeeded when it
should. It can probably be attributed to Google's DNS, which is known to take
issue with Tor exits.