You mean MEncoder. I'll have to look into it, didn't know it had a codec for that.
[Edit: Oh, it was MPlayer.
Click here but be warned... 12.7mb... dialup users need not apply. The only animated GIF creator I have doesn't do any optmization, unfortunately. I tried the GIMP but it gave me an even bigger file.]