Re: [vdr] creating core dumps with 1.3.42