The text 235c4df9186d, as Debian 8 (Jessie) shipped it.
API function
gnutls_pkcs11_copy_secret_key(3) on Linux now
