diff --git a/tools/proxy.c b/tools/proxy.c
index 0907bdb4c..ef78368fa 100644
--- a/tools/proxy.c
+++ b/tools/proxy.c
@@ -66,6 +66,12 @@
 #define PROXY_DEBUG(fmt, ...) {}
 #endif
 
+typedef enum {
+  BAREMETAL = 0,
+  QEMU,
+  UHYVE
+} monitor_t;
+
 static monitor_t monitor = BAREMETAL;
 static int sobufsize = 131072;
 static unsigned int isle_nr = 0;
diff --git a/tools/proxy.h b/tools/proxy.h
index df4b0e8fb..e82def4a8 100644
--- a/tools/proxy.h
+++ b/tools/proxy.h
@@ -39,12 +39,6 @@
 #define __HERMIT_read	4
 #define __HERMIT_lseek	5
 
-typedef enum {
-  BAREMETAL = 0,
-  QEMU,
-  UHYVE
-} monitor_t;
-
 int uhyve_init(char *path);
 int uhyve_loop(void);