[vdr] vdr-1.7.23 uses the wrong DVB headers