Remove very old BENCHMARKS.