diff --git a/src/des/key_sched.c b/src/des/key_sched.c
index 4076b8b775..93eefb03bb 100644
--- a/src/des/key_sched.c
+++ b/src/des/key_sched.c
@@ -44,10 +44,6 @@ RCSID
 
 typedef char key[64];
 
-#ifndef AFS_PTHREAD_ENV 
-struct rxkad_stats rxkad_stats = { { 0 } }; 
-#endif
-
 /* the following are really void but cc86 doesnt allow it */
 static int make_key_sched();
 
diff --git a/src/des/util.c b/src/des/util.c
index 520ca1ab76..5d3849597e 100644
--- a/src/des/util.c
+++ b/src/des/util.c
@@ -20,6 +20,11 @@ RCSID
 #include <sys/types.h>
 #include <des.h>
 #include "des_prototypes.h"
+#include "stats.h"
+
+#ifndef AFS_PTHREAD_ENV 
+struct rxkad_stats rxkad_stats = { { 0 } }; 
+#endif
 
 int
 des_cblock_print_file(des_cblock * x, FILE * fp)