fix bad vtimer_now call
fix printf patterns