minor change in util/tests/main.cpp