std::timer_manager::~timer_manager