--- config.h.in.orig	2014-10-20 08:03:47.398635920 +0200
+++ config.h.in	2014-10-20 08:03:55.769637288 +0200
@@ -6,6 +6,9 @@
 /* Define to 1 if you have the <dlfcn.h> header file. */
 #undef HAVE_DLFCN_H
 
+/* Enable hal support */
+#undef HAVE_HAL
+
 /* Define to 1 if you have the <inttypes.h> header file. */
 #undef HAVE_INTTYPES_H