[vdr] how to convert vdr to divx?