gnutls_x509_crt_get_extension_oid(3) on Linux

The text f0b8c82fe212, as Debian 4.0 (Etch) shipped it.

This function returns the specified extension OID

gnutls_x509_crt_get_extension_oid(3) on Linux now