kvpnc does not work anymore DNS server?