The video is a little choppy, my bad, this is how recordmydesktop works. I used mencoder to resize the video and convert it to mpg.