fixed a shadow declaration for total_ops in Util.cpp