Define http_proxy, used at least by surf.