diff --git a/configure b/configure
index 027a718140bac1e99d1e43f516c6f93399ba62c6..3ca13a6ce1bb79abf6d284b6c149e7e561ff760f 100755
--- a/configure
+++ b/configure
@@ -1384,7 +1384,6 @@ if test "$xen" != "no" ; then
   # Xen (any)
   cat > $TMPC <<EOF
 #include <xenctrl.h>
-#include <xs.h>
 int main(void) {
   return 0;
 }