Re: [boost] boost::timers finalization