Respecto a los Divx, me supongo que se podrá hacer como en el Mede8er que tampoco leía Divx, es cambiar la cabecera del archivo Divx por Xdiv al ser el mismo codec lo único que el primero es de pago y el segundo no, hay utilidades que lo hacen es muy rápido y algunas de ellas se puede hacer por lotes. Buscar por ejemplo, AVI FourCC-Changer.