* ffmpeg: now ffmpeg has a SVQ3 decoder, so use it :)