Old std::timer implementation removed