diff --git a/docker/Dockerfile b/docker/Dockerfile
index 06ec90bc0c788034b2669c51db2bea7413cf03d2..6724dae4d1deb1629a7532e55427613624a7d5d6 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -8,14 +8,17 @@ RUN echo "Europe/Brussels" > /etc/timezone
 RUN DEBIAN_FRONTEND=noninteractive apt-get install -yqq tzdata
 
 # Config parameters
-ARG SANCUS_SECURITY=64
-ARG SANCUS_KEY=deadbeefcafebabe
+ARG SANCUS_SECURITY=128
+# ARG SANCUS_KEY=deadbeefcafebabe
+ARG SANCUS_KEY=deadbeefcafebabec0defeeddefec8ed
 WORKDIR sancus
 
 # Build and install latest Sancus toolchain
 RUN git clone https://github.com/sancus-pma/sancus-main.git .
+RUN git checkout 6783c51
 RUN echo "UBUNTU := 1" >> Makefile.config
-RUN make install clean \
+RUN sed -i "s/-include/include/" Makefile # make should fail if other Makefiles are missing
+RUN make --warn-undefined-variables install clean \
 	SANCUS_SECURITY=$SANCUS_SECURITY SANCUS_KEY=$SANCUS_KEY
 
 # Display a welcome message for interactive sessions