Infatti il formato finale è .avi, è la codifica che cambia, per impostare la codifica divx vai nel menù "video - compression" e la selezioni. Stai anche attento che sia spuntato "full processing mode", sempre nello stesso menù. Per l'audio invece "Direct stream copy" dovrebbe andare bene.