Proxy Error: Could not resolve host: rho.http4s.org