The text ef4e8cb5cc86, as Debian 10 (Buster) shipped it.
API function
gnutls_dh_params_deinit(3) on Linux now
