The text 52c8f14e8e21, as Debian 10 (Buster) shipped it.
API function
gnutls_srtp_set_mki(3) on Linux now
