--- xplanet-1.3.0/src/libimage/gif.c~	2006-03-25 22:50:51.000000000 +0000
+++ xplanet-1.3.0/src/libimage/gif.c	2012-12-02 01:22:55.701622594 +0000
@@ -28,6 +28,17 @@
   distribution. 
 */
 
+static void
+PrintGifError(void)
+{
+  char *Err = GifErrorString();
+
+  if (Err != NULL)
+    fprintf(stderr, "\nGIF-LIB error: %s.\n", Err);
+  else
+    fprintf(stderr, "\nGIF-LIB undefined error %d.\n", GifError());
+}
+
 int
 read_gif(const char *filename, int *width, int *height, unsigned char **rgb)
 {