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