diff --git a/configs/config-mini-tls1_1.h b/configs/config-mini-tls1_1.h
index f6016e8..fd1b0e8 100644
--- a/configs/config-mini-tls1_1.h
+++ b/configs/config-mini-tls1_1.h
@@ -51,4 +51,6 @@
 /* For testing with compat.sh */
 #define POLARSSL_FS_IO
 
+#include "check_config.h"
+
 #endif /* POLARSSL_CONFIG_H */
diff --git a/configs/config-psk-rc4-tls1_0.h b/configs/config-psk-rc4-tls1_0.h
index 260b713..6a06dc7 100644
--- a/configs/config-psk-rc4-tls1_0.h
+++ b/configs/config-psk-rc4-tls1_0.h
@@ -34,4 +34,6 @@
 #define POLARSSL_SSL_SRV_C
 #define POLARSSL_SSL_TLS_C
 
+#include "check_config.h"
+
 #endif /* POLARSSL_CONFIG_H */
diff --git a/configs/config-suite-b.h b/configs/config-suite-b.h
index 7f085f4..bfd6048 100644
--- a/configs/config-suite-b.h
+++ b/configs/config-suite-b.h
@@ -51,4 +51,6 @@
 /* For testing with compat.sh */
 #define POLARSSL_FS_IO
 
+#include "check_config.h"
+
 #endif /* POLARSSL_CONFIG_H */