Fix benchmark.c