Have you managed to find an answer for this one.

I am having the same issue trying to convert my AVI's to an ISO (to burn to DVD). I have been using Devede for while now & it has been working fine.

I am running Ubuntu 10.04.