Symbol: OPTION_SSL_CRL_FILE