[tor-dev] Dealing with DNS requests by Tor unaware programs