make http_proxy permanent in .curlrc