Delete benchmark.aux