Да, мне тоже, кажется, что GIF.exe не до конца работает.
А давайте сравним размеры (если версии одинаковые). У меня оказалось такое:
\8.0\SystemFiles\Converters\Binaries\Windows\GIF.exe — 122 384 байт, информации о версии нет (и ещё в другой папке есть копия с тем же размером).
\8.0\SystemFiles\Formats\GIF\Export.m содержит код
Код:
(* ::Package:: *)
Begin["System`ConvertersDump`"]
ImportExport`RegisterExport["GIF",
ExportGIFElements[##]&,
"Options" -> {"Background", "TransparentColor", "FrameRate", "AnimationRepetitions", "TransitionEffect", "UserInputFlag"},
"DefaultElement" -> "Frames",
"Sources" -> {"GIF.exe", "RDPStruct.exe"},
"BinaryFormat" -> True
]
End[]
(И больше ничего связанного с этим форматом не нашёл.)
Думаю, можно втихую у кого-то правильный экземпляр этой програмы (или ещё чего-то нужного) стащить, если дадут.