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