--- opensc-0.11.3/src/tools/opensc-explorer.c.orig	2007-06-30 10:55:58.000000000 +0200
+++ opensc-0.11.3/src/tools/opensc-explorer.c	2007-08-12 00:43:16.653483641 +0200
@@ -1148,7 +1148,6 @@
 	return -1;
 }
 
-#if 0
 static int do_debug(int argc, char **argv)
 {
 	int i;
@@ -1170,7 +1169,6 @@
 	}
 	return 0;
 }
-#endif
 
 
 static int do_pksign(int argc, char **argv)
@@ -1454,6 +1452,7 @@
  { "exit",	do_quit,	"quit this program"			},
  { "update_record", do_update_record, "update record"			},
  { "update_binary", do_update_binary, "update binary"			},
+ { "debug",	do_debug,	"set the debug level"			},
  { NULL, NULL, NULL }
 };