Anyone here doing DVD authoring on linux? I've been playing with ManDVD, which has a nice simple interface, but seems unable to get the audio out of a .avi file. Any thoughts?