util.h: Use dummy_printf for DEBUG() and DEBUG2()