Записывал видео для курсового прогой recordmydesktop.
Пишет она классно, но для редактирования пришлось перекодировать в AVI
Для того, что-бы это осуществить требуется собрать mplayer с опцией encode
После этого можно конвертировать.
Команда:

mencoder input_file.ogg -ovc lavc  -o output_file.avi