avoid defining http_proxy - python doesn't seem to handle it very well