Use new Time class in timed_wait()