Proxy error: getaddrinfo ENOTFOUND www.www.sri.inf.ethz.ch