diff --git a/docker/dev/Dockerfile b/docker/dev/Dockerfile
index c0c3cd7c..04af9185 100644
--- a/docker/dev/Dockerfile
+++ b/docker/dev/Dockerfile
@@ -24,11 +24,12 @@ RUN apt-get update \
 	dkms \
 	gnupg2 \
 	gcc \
-	gcc-6 \
 	gdb \
 	jq \
 	libc6-dev \
+	libcilkrts5 \
 	libelf-dev \
+	libubsan0 \
 	llvm-7 \
 	netcat \
 	xz-utils \
diff --git a/docker/local/Dockerfile b/docker/local/Dockerfile
index 7da0d450..463c95ad 100644
--- a/docker/local/Dockerfile
+++ b/docker/local/Dockerfile
@@ -24,10 +24,11 @@ RUN apt-get update \
 	dkms \
 	gnupg2 \
 	gcc \
-	gcc-6 \
 	jq \
 	libc6-dev \
+	libcilkrts5 \
 	libelf-dev \
+	libubsan0 \
 	llvm-7 \
 	netcat \
 	xz-utils \
diff --git a/docker/stable/Dockerfile b/docker/stable/Dockerfile
index 3d2718db..4bce1e1e 100644
--- a/docker/stable/Dockerfile
+++ b/docker/stable/Dockerfile
@@ -24,10 +24,11 @@ RUN apt-get update \
 	dkms \
 	gnupg2 \
 	gcc \
-	gcc-6 \
 	jq \
 	libc6-dev \
+	libcilkrts5 \
 	libelf-dev \
+	libubsan0 \
 	llvm-7 \
 	netcat \
 	xz-utils \