diff --git a/alpine/Dockerfile b/alpine/Dockerfile
index 292654f..c57db48 100644
--- a/alpine/Dockerfile
+++ b/alpine/Dockerfile
@@ -2,7 +2,7 @@ FROM alpine:3.5
 
 LABEL maintainer="DiffBlue Ltd."
 
-RUN apk add --no-cache gcc g++ make ccache bison flex perl-libwww bash
+RUN apk add --no-cache gcc g++ make ccache bison flex perl-libwww bash git
 
 # Will be mounted to source during run
 WORKDIR /cbmc
diff --git a/ubuntu/Dockerfile b/ubuntu/Dockerfile
index 8be4913..4552ef9 100644
--- a/ubuntu/Dockerfile
+++ b/ubuntu/Dockerfile
@@ -4,7 +4,7 @@ LABEL maintainer="DiffBlue Ltd."
 
 RUN apt-get update \
     && apt-get install -y --no-install-recommends \
-      g++ gcc make ccache bison flex libwww-perl patch \
+      g++ gcc make ccache bison flex libwww-perl patch git \
 	  && rm -rf /var/lib/apt/lists/*
 
 # Will be mounted to source during run