I am using ffmpeg now to compress, its really easy to use on command line:
ffmpeg -b 800 -i myvideo.avi output.avi
The "-b 800" means video quality. You can also use other formats to export.
Uploaded a video for testing on youtube:
I have recorded it with the new Graal version which is also recording sounds