Fix #813: Animated GIF should use faster antialiasing (or none at all)