Updating proxy instructions to set $https_proxy.