The text 83da6c8b58e6, as Debian 8 (Jessie) shipped it.
API function
gnutls_pkcs11_get_pin_function(3) on Linux now
