The text b088dfb4fc9c, as Debian 8 (Jessie) shipped it.
API function
gnutls_pkcs11_obj_deinit(3) on Linux now
