RE: [vdr] expired timers are not deleted