gnutls_x509_crt_get_extension_by_oid(3) on Linux

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

This function returns the specified extension