Symbol: krb5_get_servername