diff --git a/INSTALL.md b/INSTALL.md
index 5d2ae56b5..c76ef362a 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -99,55 +99,8 @@ sudo make install
 
 ## How to install the dependencies on Linux
 
-Here are instructions on how to install the dependencies needed to
-compile Infer on a few Linux distributions.
-
-### Debian 7 (Wheezy) and Ubuntu 14.04 LTS
-
-```sh
-sudo apt-get update
-sudo apt-get upgrade
-sudo apt-get install -y \
-  autoconf \
-  automake \
-  build-essential \
-  git \
-  libgmp-dev \
-  libmpc-dev \
-  libmpfr-dev \
-  libsqlite3-dev \
-  m4 \
-  openjdk-7-jdk \
-  pkg-config \
-  python-software-properties \
-  unzip \
-  zlib1g-dev
-```
-
-### Debian 8 (Jessie)
-
-```sh
-sudo apt install -y \
-  autoconf \
-  automake \
-  build-essential \
-  git \
-  libgmp-dev \
-  libmpc-dev \
-  libmpfr-dev \
-  libsqlite3-dev \
-  m4 \
-  opam \
-  openjdk-7-jdk \
-  unzip \
-  zlib1g-dev \
-  opam \
-  rsync \
-  pkg-config \
-  libncurses-dev \
-  python \
-  aspcud
-```
+See the Dockerfile in docker/ for inspiration. It includes the
+dependencies needed to build infer on Debian 9 (stretch).
 
 ### Setting up opam
 
diff --git a/docker/Dockerfile b/docker/Dockerfile
index d68531d09..34bf1ca84 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -1,26 +1,27 @@
-FROM ubuntu:17.04
+FROM debian:stretch-slim
 
-MAINTAINER Infer
+LABEL maintainer "Infer team"
 
+# mkdir the man/man1 directory due to Debian bug #863199
 RUN apt-get update && \
-    apt-get install -y \
-            aspcud \
-            curl \
-            opam \
-            pkg-config \
-            autoconf \
-            libsqlite3-dev \
-            zlib1g-dev \
-            cmake \
-            libc6-dev \
-            libc6-i386 \
-            lib32z1 \
-            lib32stdc++6 \
-            openjdk-8-jdk-headless && \
+    mkdir -p /usr/share/man/man1 && \
+    apt-get install --yes --no-install-recommends \
+      autoconf \
+      automake \
+      cmake \
+      curl \
+      git \
+      libc6-dev \
+      libsqlite3-dev \
+      opam \
+      openjdk-8-jdk-headless \
+      pkg-config \
+      python2.7 \
+      zlib1g-dev && \
     rm -rf /var/lib/apt/lists/*
 
 # Download the latest Infer release
-RUN INFER_VERSION=v0.13.0; \
+RUN INFER_VERSION=v0.13.1; \
     cd /opt && \
     curl -sL \
       https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \