The text f3df8c90e8d6, as Debian 7 (Wheezy) shipped it.
API function
shishi_principal_default_set(3) on Linux now
