diff --git a/include/ca_ci.h b/include/ca_ci.h
index 802f314..ee15f94 100644
--- a/include/ca_ci.h
+++ b/include/ca_ci.h
@@ -1,6 +1,7 @@
 #ifndef __CA_H_
 #define __CA_H_
 
+#include <config.h>
 #include <stdint.h>
 #include <asm/types.h>
 #include <pthread.h>
diff --git a/include/dmx_hal.h b/include/dmx_hal.h
index c97d8cb..8ad5f3d 100644
--- a/include/dmx_hal.h
+++ b/include/dmx_hal.h
@@ -18,6 +18,7 @@
 #ifndef __dmx_hal__
 #define __dmx_hal__
 
+#include <config.h>
 #include <cstdlib>
 #include <vector>
 #include <inttypes.h>
diff --git a/libarmbox/dmx.cpp b/libarmbox/dmx.cpp
index 8d973ba..2db4b4c 100644
--- a/libarmbox/dmx.cpp
+++ b/libarmbox/dmx.cpp
@@ -20,6 +20,7 @@
  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
 
+#include <config.h>
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <fcntl.h>
@@ -101,7 +102,7 @@ static const char *devname[NUM_DEMUXDEV] = {
 #endif
 };
 /* did we already DMX_SET_SOURCE on that demux device? */
-static bool init[NUM_DEMUXDEV] = { false, false, false, false, false, false, false, false };
+static bool init[NUM_DEMUXDEV] = { false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false };
 
 typedef struct dmx_pdata {
 	int last_source;