Changed arguments accepted by bench.pl