Remove extraneous https_proxy line, it was unnecessary