IIRC I used to use that one way back when.
I use VideoMach now - seems pretty simple to open, select all my png's, and
click "export" to make AVI's, gifs, etc.
I use Format Factory for doing other things if I have a problem exporting to
that file format directly.