diff --git a/scripts/Dockerfile b/scripts/Dockerfile
index 2f0e75c102c3a1a4b034c864dafbb1345babe9f1..0cc6eb60db24001bf5ec2d5472f52d378081cc4d 100644
--- a/scripts/Dockerfile
+++ b/scripts/Dockerfile
@@ -6,10 +6,24 @@ RUN apt-get update && apt-get install -yqq make git-core python3 build-essential
 RUN rm -rf /var/lib/apt/lists/*
 
 # Install Proverif
-RUN apt-get install -yqq libexpat1-dev libgtk2.0-dev opam
-RUN opam init --best-effort -y && eval $(opam env) && opam install proverif --best-effort -y
-
-ENV PATH $HOME/.opam/default/bin/:$PATH
+WORKDIR /home/proverif/
+RUN apt-get clean && apt-get -y update && apt-get install -y git
+#RUN mkdir osboxes
+#WORKDIR home/osboxes/
+RUN apt-get install -y \
+    net-tools\
+    iputils-ping\
+    nano\
+    g++ make cmake \
+    tar \
+    ocaml \
+    ocaml-compiler-libs \
+    ocaml-findlib \
+    liblablgtk2-ocaml-dev \
+    wget 
+RUN wget https://bblanche.gitlabpages.inria.fr/proverif/proverif2.05.tar.gz && tar -xf proverif2.05.tar.gz -C /home/proverif/ && cd /home/proverif/proverif2.05/ && ./build
+
+ENV PATH="$PATH:/home/proverif/proverif2.05/"
 
 
 CMD /bin/bash