The text 9e83f51cca2c, as Debian 6.0 (Squeeze) shipped it.
deinitialize the global data
gnutls_global_deinit(3) on Linux now
