hello dear debian users (how) could i convert a non-encrypted vob file to an avi or mpeg file ? this in order to burn it in a cd i have tried with a52dec and mpeg2dec, but i can not succesfully reproduce its saved to disk outputs is there some program a la FlaskMpeg, but in linux ? thank you