Das DownloadHelper-Plugin für FF beispielsweise macht das mit ffmpeg und folgenden Parametern: /usr/bin/ffmpeg -i $FLV -y -v 0 -ac 2 -acodec libmp3lame -ar 44100 -f avi -vcodec mpeg4 $MP4