gnutls_prf(3) on Linux

The text b26b18f523a9, as Debian 8 (Jessie) shipped it.

API function

gnutls_prf(3) on Linux now