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