gnutls_psk_set_server_credentials_file(3) on Linux

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

Used to set the password files, in a gnutls_psk_server_credentials_t structure