Yo tuve el mismo problema hace unos meses y era porque todavía no existía la versión para codificar divx en 64 bits. Me gustaría saber si ya está disponible y si es esí dónde la puedo conseguir o si todavía es necesario usar la versión de vegas 32bits para codificar en DivX
Gracias