updated timer to latest boost timers