Symbol: krb5_locate_kdc