util.py: cancel timers