Fix IPv6 bug #5204, which caused krb5 DNS lookups