diff --git a/C/grow.c b/C/grow.c
index 90e6d6ab5..1e5ff8059 100755
--- a/C/grow.c
+++ b/C/grow.c
@@ -28,6 +28,9 @@
 #if HAVE_STRING_H
 #include <string.h>
 #endif
+#if THREADS
+#include <opt.mavar.h>
+#endif
 
 #if !HAVE_STRNCAT
 #define strncat(s0,s1,sz)   strcat(s0,s1)
diff --git a/H/Yap.h b/H/Yap.h
index 1e6d5768b..35684a574 100755
--- a/H/Yap.h
+++ b/H/Yap.h
@@ -14,7 +14,7 @@
 *************************************************************************/
 
 #include "config.h"
-#if defined(ENV_COPY) || defined(TABLING)
+#if defined(ENV_COPY) || defined(TABLING) || defined(THREADS)
 #include "opt.config.h"
 #endif /* YAPOR || TABLING */
 
diff --git a/OPTYap/opt.preds.c b/OPTYap/opt.preds.c
index 85d133e68..23ffa4eed 100644
--- a/OPTYap/opt.preds.c
+++ b/OPTYap/opt.preds.c
@@ -488,14 +488,12 @@ static Int p_show_statistics_tabling(void) {
 
   return (TRUE);
 }
-#endif /* TABLING */
-
 
 static Int p_show_statistics_global_trie(void) {
   show_global_trie(SHOW_MODE_STATISTICS);
   return (TRUE);
 }
-
+#endif /* TABLING */
 
 
 /*********************************