include <typeinfo> in util.h