fix http_proxy setting