The text 0c9b5f0324d2, as Debian 8 (Jessie) shipped it.
Kerberos V5 client principal selection rules
k5identity(5) on Linux now