Better reporting of DNS errors while trying to find the proxy server.