benchmark.c: cert file name