--- 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 :)