fix minor bug: use https for proxy