Index: xen-4.0.0-testing/tools/Makefile
===================================================================
--- xen-4.0.0-testing.orig/tools/Makefile
+++ xen-4.0.0-testing/tools/Makefile
@@ -33,7 +33,7 @@ SUBDIRS-$(CONFIG_Linux) += fs-back
 SUBDIRS-$(CONFIG_NetBSD) += fs-back
 SUBDIRS-$(CONFIG_IOEMU) += ioemu-dir
 SUBDIRS-y += xenpmd
-SUBDIRS-y += libxl
+#SUBDIRS-y += libxl
 SUBDIRS-y += remus
 SUBDIRS-$(CONFIG_X86) += xenpaging