fix printf macro
Merge pull request #418 from mehlis/vtimer-printf

vtimer: fix printf macro