renamed util.cc util.h