Restored support for old C++ timers.