diff --git a/dockerfile b/dockerfile
index 36ef2f2..886e142 100644
--- a/dockerfile
+++ b/dockerfile
@@ -3,7 +3,7 @@ FROM movesrwth/storm-basesystem:ubuntu-22.04 as build
 #COPY ./tempest-devel /opt/tempest
 #COPY ./tempest-py /opt/tempestpy
 COPY ./pycarl-2.0.4 /opt/pycarl
-COPY ./carl /opt/carl
+#COPY ./carl /opt/carl
 
 # RUN rm -r /opt/tempest/.git
 # RUN rm -r /opt/tempestpy/.git
@@ -18,6 +18,7 @@ RUN apt-get install -y python3.10
 ARG no_threads=6
 
 # Build carl
+RUN git clone -b tags/c++14-22.01 https://github.com/ths-rwth/carl.git /opt/carl
 RUN mkdir -p /opt/carl/build
 WORKDIR /opt/carl/build
 RUN cmake .. -DCMAKE_BUILD_TYPE=Release  -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON