i don't know the program but i think if you save the file it's saved without compression, i.e. without a codec.

you can use something like virtualdub [ virtualdub.org/ ]

to have the video encoded.... but maybe it's also possible with your software