Make a VCD from an AVI Using Avidemux and K3b