diff --git a/.travis.yml b/.travis.yml
index f4eff522ede..54078b93f76 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -11,9 +11,9 @@ matrix:
       services:
         - docker
       before_install:
-        - docker pull diffblue/cbmc-builder:alpine
+        - docker pull diffblue/cbmc-builder:alpine-0.0.1
       env:
-        - PRE_COMMAND="docker run -v ${TRAVIS_BUILD_DIR}:/cbmc -v ${HOME}/.ccache:/root/.ccache diffblue/cbmc-builder:alpine"
+        - PRE_COMMAND="docker run -v ${TRAVIS_BUILD_DIR}:/cbmc -v ${HOME}/.ccache:/root/.ccache diffblue/cbmc-builder:alpine-0.0.1"
         - COMPILER="ccache g++"
 
     # OS X using g++