add HTTPS_PROXY setting