The problem must be the video codec, its DIVX 5.1 I think that zipping a jgps sequence can be a good idea. The size is short and you only need a direct encoding in your video editor (being serius, correct size, no aditional work,...).