gnutls_psk_free_server_credentials(3) on Linux

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

Used to free an allocated gnutls_psk_server_credentials_t structure