update util.h