e` disponibile l'encoder anche per linux. www.divx.com 'mo provo a vedere se con mplayer funziona...