diff -r 8041ac363f26 -r 4384bfbb7e26 src/server/daemon/threadpools.c
--- a/src/server/daemon/threadpools.c	Wed Jan 10 17:25:55 2018 +0100
+++ b/src/server/daemon/threadpools.c	Wed Jan 10 18:47:37 2018 +0100
@@ -34,8 +34,8 @@
 #include "threadpools.h"
 
 
-UcxMap *thread_pool_map = NULL;
-int numthrpools = 0;
+static UcxMap *thread_pool_map = NULL;
+static int numthrpools = 0;
 
 threadpool_t *default_thread_pool = NULL;