Delete coll_util.h