Update punch-util.c