The text ee72869f7962, as Debian 5.0 (Lenny) shipped it.
get credentials from the KDC
krb5_get_creds_opt_alloc(3) on Linux now
