gnutls_psk_allocate_client_credentials(3) on Linux

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

Used to allocate an gnutls_psk_server_credentials_t structure