Just an alternative here.
You can record a screen session from the command line with ffmpeg. To any format.
An example that I use
Code:
(reverse-i-search)`ffm': ffmpeg -f x11grab -r 25 -s 4480x1080 -i :0.0 -f flv screen_cap.flv
will tell you what to change to get it recording video and audio to the formats you wish.
(keep in mind, you have to have the relevant codecs installed)