diff --git a/configure.ac b/configure.ac
index c85fa21fc..3e657606e 100644
--- a/configure.ac
+++ b/configure.ac
@@ -10,8 +10,10 @@ dnl of patent rights can be found in the PATENTS file in the same directory.
 
 AC_PREREQ([2.63])
 
-# WARNING: AC_INIT only accepts string literals so the version number
-# has to be kept in sync with below
+# WARNING: the version number has to be kept in sync with:
+# - the values below
+# - opam
+# - docker/Dockerfile
 AC_INIT([Infer],
         [0.8.0],
         [https://github.com/facebook/infer/issues/])
diff --git a/docker/Dockerfile b/docker/Dockerfile
index a55f373ea..4111a12ad 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -39,10 +39,7 @@ RUN curl -sL \
 RUN opam init -y --comp=4.02.3
 
 # Download the latest Infer release
-RUN INFER_VERSION=$(curl -s https://api.github.com/repos/facebook/infer/releases \
-      | grep -e '^[ ]\+"tag_name"' \
-      | head -1 \
-      | cut -d '"' -f 4); \
+RUN INFER_VERSION=v0.8.0; \
     cd /opt && \
     curl -sL \
       https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \
diff --git a/opam b/opam
index f5c16dcb4..e83edace5 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "infer"
-version: "0.7.0"
+version: "0.8.0"
 maintainer: "opam-devel@lists.ocaml.org"
 authors: "Facebook"
 homepage: "https://github.com/facebook/infer"