diff --git a/docker/Dockerfile-run b/docker/Dockerfile-run
index fa0591e53619349c759830ad68d0315c486ec9e9..d0e7fc093feebfad905b64b2f811f179d20dc530 100644
--- a/docker/Dockerfile-run
+++ b/docker/Dockerfile-run
@@ -27,8 +27,8 @@ RUN cargo install tokei
 RUN opam repository set-url default "https://opam.ocaml.org" && \
     opam update
 
-# install Frama-C and Z3
-RUN opam install frama-c.26.1 z3
+# install Frama-C, Z3 and re
+RUN opam install frama-c.26.1 z3 re
 
 # set shell and PATH for opam
 SHELL ["/bin/bash", "-c"]
diff --git a/scripts/run-docker.sh b/scripts/run-docker.sh
index 00dfa1bd63acc736aa6f61b56ac6b5298b491063..9d97b2596da3b15eced69a762df0f3e78dc16804 100755
--- a/scripts/run-docker.sh
+++ b/scripts/run-docker.sh
@@ -53,7 +53,7 @@ while true; do
 done
 
 # launch docker
-docker run -it --rm --user $(id -u):$(id -g)\
+docker run -it --rm \
        --name "lustrec_docker_run" \
        -v ${TMP_DIR}:/tmp -v ${PWD}:/home/opam/lustrec \
        ${CONTAINER_ID} $@