The text aa8f44eea32a, as Debian 6.0 (Squeeze) shipped it.
deinitializes a #gnutls_pkcs7_t structure
gnutls_pkcs7_deinit(3) on Linux now