gnutls_deinit(3) on Linux

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

This function clears all buffers associated with a session

gnutls_deinit(3) on Linux now