Fixed bug in benchmark/debug flags