fixed a compile error (removed "util.h" include)