add debug output (was: `DEBUG("schedule_timer(): no next timer!? This looks suspicous.\n");`)