The text 1cef11fd92c3, as Debian 6.0 (Squeeze) shipped it.
get the specified extension OID
gnutls_x509_crl_get_extension_oid(3) on Linux now
