Added missing include in util.h