Video códecs en Linux

Buenas. Tengo una animación que tengo que renderizar en Blender bajo Linux. El problema es que cuando despliego la lista de formatos de exportación, me sale avi jpeg y avi Raw, pero necesito comprimir con un códec por que la animación la tengo que enviar por internel.
¿Alguien sabe cómo añadir otros formatos en esta lista? Sé que por lo menos tengo instalado el divx4linux. Sería ideal poderlo utilizar. Gracias. Un saludo.

Ver más sobre el tema y los comentarios en el foro