this is necessary in order to avoid breaking timer_getoverrun in the
last run of the timer event handler, if it has not yet finished.