Fix a stupid sign bug in run_timers() that broke Windows Plink (and