Does any one has any idea of how to convert an avi to svcd or vcd? Do we have any scripts packaged as debs?