diff --git a/Dockerfile b/Dockerfile
index a48c38c2..06643b95 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -42,12 +42,18 @@ ENV CXX=g++-${GCC_VERSION}
 COPY . /build/verificarlo/
 WORKDIR /build/verificarlo
 
+RUN echo ./autogen.sh && \
+    ./configure \
+    --with-llvm=$(llvm-config-${LLVM_VERSION} --prefix) \
+    $( [[ "$WITH_FLANG" = "flang" ]] && echo "--with-flang" || echo "--without-flang" )
+
 RUN { ./autogen.sh && \
     ./configure \
     --with-llvm=$(llvm-config-${LLVM_VERSION} --prefix) \
     $( [[ "$WITH_FLANG" = "flang" ]] && echo "--with-flang" || echo "--without-flang" ) ; } \
     || { cat config.log; exit 1; }
 
+
 # Build verificarlo
 RUN make && make install