diff --git a/.travis.yml b/.travis.yml
index 98fe316..03e9604 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -11,8 +11,9 @@ install:
 - pip3 install pip
 - pip3.6 -V
 - pip3.6 install pyflakes
+- pip3.6 install z3-solver==4.5.1.0.post2
 - pip3.6 install angr
-- pip3.6 install https://github.com/trailofbits/manticore/archive/b590c41339e549689fdb9c5297735c1a0654b7fd.zip
+- pip3.6 install git+git://github.com/trailofbits/manticore.git
 - mkdir build
 - cd build
 - cmake ..
diff --git a/docker/Dockerfile b/docker/Dockerfile
index d9269d5..79c7cb8 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -92,7 +92,7 @@ RUN cd deepstate \
     && CXX=$ANGORA/bin/angora-clang++ CC=$ANGORA/bin/angora-clang cmake ../ \
     && export USE_TRACK=1 && sudo -E bash -c 'make -i install' \
     && cd .. \
-    && sudo pip3 install 'z3-solver==4.5.1.0.post2' angr 'manticore==0.2.5' \
+    && sudo pip3 install 'z3-solver==4.5.1.0.post2' angr git+git://github.com/trailofbits/manticore.git \
     && sudo python3 ./build/setup.py install
 
 ENV CC=clang