gnutls_x509_crt_deinit(3) on Linux

The text 9e672b488715, as Debian 5.0 (Lenny) shipped it.

This function deinitializes memory used by a gnutls_x509_crt_t structure