If proxy is configured, no need to do DNS for the host

(Sometimes DNS is completely blocked for hosts that need a proxy)