Proxy error: getaddrinfo ENOTFOUND www.torch.optim.adagrad.html