.avi ti può uscire con una dozzina o + di codec diversi... non c'è un'opzione dove ti fa scegliere il codec del file di output?