gnutls_session_set_ptr(3) on Linux

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

Used to set the user pointer to the session structure

gnutls_session_set_ptr(3) on Linux now