Re: [vdr] Segfault in dvbhddevice