vtimer: fix printf macro