diff -ru2 a/debian/rules b/debian/rules
--- a/debian/rules	2013-11-04 06:05:40.000000000 +0000
+++ b/debian/rules	2013-11-22 11:20:29.000000000 +0000
@@ -6,5 +6,5 @@
   ifneq (,$(findstring $(DEB_HOST_ARCH), i386 amd64))
     WITH_XEN = --with-xen
-    WITH_LIBXL = --with-libxl
+    WITH_LIBXL = --without-libxl
     WITH_VBOX = --with-vbox
     MAKE_CHECK = 1