gnutls_ia_allocate_server_credentials(3) on Linux

The text 2e8dca599b47, as Debian 4.0 (Etch) shipped it.

Used to allocate an gnutls_ia_server_credentials_t structure