--- a/platforms/debian7/Dockerfile.in	Mon Jun 15 17:28:08 2015 +0200
+++ b/platforms/debian7/Dockerfile.in	Mon Jun 15 17:29:46 2015 +0200
@@ -45,6 +45,7 @@
 RUN autoconf
 RUN ./configure
 RUN make
+RUN rm -f test-config
 
 ## now finally run the tests
 ## should be done by you, manually :)
--- a/platforms/debian8/Dockerfile.in	Mon Jun 15 17:28:08 2015 +0200
+++ b/platforms/debian8/Dockerfile.in	Mon Jun 15 17:29:46 2015 +0200
@@ -44,6 +44,7 @@
 RUN autoconf
 RUN ./configure
 RUN make
+RUN rm -f test-config
 
 ## now finally run the tests
 ## should be done by you, manually :)
--- a/platforms/fedora21/Dockerfile.in	Mon Jun 15 17:28:08 2015 +0200
+++ b/platforms/fedora21/Dockerfile.in	Mon Jun 15 17:29:46 2015 +0200
@@ -41,6 +41,7 @@
 RUN autoconf
 RUN ./configure
 RUN make
+RUN rm -f test-config
 
 ## now finally run the tests
 ## should be done by you, manually :)
--- a/platforms/opensuse/Dockerfile.in	Mon Jun 15 17:28:08 2015 +0200
+++ b/platforms/opensuse/Dockerfile.in	Mon Jun 15 17:29:46 2015 +0200
@@ -42,6 +42,7 @@
 RUN autoconf
 RUN ./configure
 RUN make
+RUN rm -f test-config
 
 ## now finally run the tests
 ## should be done by you, manually :)