You can convert things to gifs in the terminal. That's what I do, it generates VERY high quality gifs with the 256 colors it can have.
If you have some recording software that can at least save to a sequence, save them in a folder, and in the terminal type
convert *.png -set delay 5 replay.gif