note that we did some renaming in the varnish client, e.g. $ips became $servers as you may also use dns names for your varnish machines.