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