diff --git a/docker/Dockerfile.ci b/docker/Dockerfile.ci
index 14cc539e660933d6392892471b8fa1f7e8f21674..b051719b9fc5f2164034a98105cce0729847d63c 100644
--- a/docker/Dockerfile.ci
+++ b/docker/Dockerfile.ci
@@ -79,5 +79,7 @@ ENV PYNQSHELL_PATH "/workspace/PYNQ-HelloWorld/boards"
 
 RUN echo "source \$VIVADO_PATH/settings64.sh" >> /root/.bashrc
 RUN echo "PS1='\[\033[1;36m\]\u\[\033[1;31m\]@\[\033[1;32m\]\h:\[\033[1;35m\]\w\[\033[1;31m\]\$\[\033[0m\] '" >>  /root/.bashrc
+RUN mkdir -p /tmp/$FINN_INST_NAME
+RUN mkdir -p $VIVADO_IP_CACHE
 
 WORKDIR /workspace/finn