diff --git a/Dockerfile b/Dockerfile
index 08322f4..75c09c1 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -4,7 +4,7 @@ RUN sudo apt update && ( cd opam-repository && git pull origin master ) && opam
     opam install 'mirage>4' && \
     eval $(opam env) && \
     git clone https://github.com/roburio/unipi.git && \
-    ( cd unipi && mirage configure -t spt && make ) && \
+    ( cd unipi && git checkout effective-path && mirage configure -t spt && make ) && \
     { bindir="$(opam var bin)"; cp $bindir/solo5-elftool $bindir/solo5-spt ~/; }
 
 FROM ubuntu:20.04