Re: [vdr] vdrconvert divx filesize