use rumpkern_time instead of stubs