diff --git a/docker/0.8.0/core/Dockerfile b/docker/0.8.0/core/Dockerfile
index 347a51e994b50cfb168cd733491534ba9a6e8627..1c42f9edda391928527d9f44896f8c3ea6eb7aa9 100644
--- a/docker/0.8.0/core/Dockerfile
+++ b/docker/0.8.0/core/Dockerfile
@@ -11,7 +11,6 @@ RUN apt-get update && \
 		pkg-config \
 		make \
 		automake \
-		cmake \
 		gcc \
 		g++ \
 		# AGIOS dependencies
@@ -31,7 +30,12 @@ RUN apt-get update && \
 		libboost-filesystem-dev \
 		libboost-program-options-dev \
 		uuid-dev && \
+    # install cmake 3.14 since it's needed for some dependencies
+    curl -OL https://github.com/Kitware/CMake/releases/download/v3.14.5/cmake-3.14.5-Linux-x86_64.sh && \
+    chmod u+x ./cmake-3.14.5-Linux-x86_64.sh && \
+    ./cmake-3.14.5-Linux-x86_64.sh --skip-license --prefix=/usr && \
     # Clean apt cache to reduce image layer size
     rm -rf /var/lib/apt/lists/* && \
     # Clean apt caches of packages
-    apt-get clean && apt-get autoclean
+    apt-get clean && apt-get autoclean && \
+    rm ./cmake-3.14.5-Linux-x86_64.sh