thierry@binova-srv:~$ cat /etc/krb5.conf
[libdefaults]
        default_realm = BINOVIX.LAN
        dns_lookup_realm = false
        dns_lookup_kdc = true