gnutls_server_name_get(3) on Linux

The text a24a1ecc6d31, as Debian 6.0 (Squeeze) shipped it.

Used to get the server name indicator send by a client

gnutls_server_name_get(3) on Linux now