el problema por el cual no podes exportar a AVI es porke no tnes instalado el quicktime...

si queres tener esas opciones, descargar el quicktime (link) y vas a tener el problema solucionado... yo lo aria cuanto antes porque la verdad la calidad por defecto es muy fea

Espero que te sirva...