privat/nit — pull request #300 by privat (2014-03-03 18:13:31+00:00)
Title: cleanup benchs

the `benchmarks/bench_engines.sh` script was not updated for the *killnitc* transition.

This series cleaup the file, making it usable again.