free cancelled timers with free_timer() instead of free() so they can
get re-used (typically there's only a handful) (harmless)