gnutls_deinit(3) on Linux

The text ab8c6cad191e, as Debian 10 (Buster) shipped it.

API function

gnutls_deinit(3) on Linux now