кто ищет, тот всегда найдет!
вышеперечисленные варианты не пробовал, но нашел свой MediaCoder 0.6, на английском языке, конвертирует в форматы для медиаплееров, в основном...