Ich mache animierte GIFs immer mit dem GIMP. Ist vielleicht etwas umständlicher, aber ich kenne nichtmal andere Linux-Software, die das kann (okay, ich hab mich auch nie damit beschäftigt, das GIMP reicht völlig aus).