The node you are looking for is at gnutls_psk_set_server_credentials_file.