--- dcrt0.cc.orig	Wed Nov  8 10:15:22 2000
+++ dcrt0.cc	Thu Nov  9 10:44:01 2000
@@ -106,6 +106,7 @@
    /* resourcelocks */ &_reslock, /* threadinterface */ &_mtinterf,
    /* impure_ptr */ &reent_data,
   };
+  BOOL ignore_case_with_glob = FALSE;
 };
 
 char *old_title = NULL;
@@ -488,6 +489,9 @@
     }
 
   argv[argc] = NULL;
+
+  /* Disable case-insensitive globbing */
+  ignore_case_with_glob = FALSE;
 
   debug_printf ("argc %d", argc);
 }