gnutls_x509_crt_get_issuer_alt_othername_oid(3) on Linux

The text 88f422240044, as Debian 10 (Buster) shipped it.

API function

gnutls_x509_crt_get_issuer_alt_othername_oid(3) on Linux now