--- prboom-2.3.1/configure	2004-09-15 21:11:41.000000000 +0200
+++ prboom-2.3.1-patched/configure	2004-12-08 01:29:43.576763232 +0100
@@ -3140,10 +3140,6 @@
 _ACEOF
 
 cat >>confdefs.h <<\_ACEOF
-#define INSTRUMENTED 1
-_ACEOF
-
-cat >>confdefs.h <<\_ACEOF
 #define TIMEDIAG 1
 _ACEOF