Only set $http_proxy if the hostname 'proxy' resolves.