gnutls_db_remove_session(3) on Linux

The text b534d11ddfbd, as Debian 5.0 (Lenny) shipped it.

remove the current session data from the database

gnutls_db_remove_session(3) on Linux now