gnutls_pkcs12_deinit(3) on Linux

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

This function deinitializes memory used by a gnutls_pkcs12_t structure

gnutls_pkcs12_deinit(3) on Linux now