fix timer code to not leave realtime timers around