delete processes and timers when we're done with them