Removing broken GIF encoder in favour of Java's built-in one (although this may not be available on all platforms).