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