wget and http_proxy