--- debug.c.orig        Sun Jul 10 16:12:33 2005
+++ debug.c     Tue Dec 27 10:22:36 2005
@@ -66,7 +66,7 @@
 void ea_debug_shutdown ()
 {
     fflush (F_fp);
-    fclose (F_fp);
+    if (F_fp != stderr) fclose (F_fp);
     F_fp = NULL;
 }
