Restore util.h

Not sure when it disappeared.