take $http_proxy settings in account when necessary