--- dcrt0.cc.orig	Fri Nov  3 16:51:51 2000
+++ dcrt0.cc	Fri Nov  3 16:59:01 2000
@@ -106,6 +106,7 @@
    /* resourcelocks */ &_reslock, /* threadinterface */ &_mtinterf,
    /* impure_ptr */ &reent_data,
   };
+  int ignore_case_with_glob = 0;
 };
 
 char *old_title = NULL;