use $http_proxy if defined