The text eb78b188b85d, as Debian 7 (Wheezy) shipped it.
destroy Kerberos tickets
-A
kdestroy(1) on Linux now
