Without this, time runs 50x too slow after resume, since nothing
knows to tell the timer to re-initialize.