dirmngr: Make --use-tor work - still leaks DNS.