gnutls_certificate_set_x509_crl_file(3) on Linux

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

Used to add CRLs in a gnutls_certificate_credentials_t structure