krb5_wrap: Rename kerberos_get_principal_from_service_hostname()