The text cfc3965cfc50, as Debian 4.0 (Etch) shipped it.
get credentials from the KDC using krbtgt
krb5_get_cred_from_kdc_opt(3) on Linux now
