diff --git a/.travis.yml b/.travis.yml
index f9e6b6e..64a9cbd 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,14 +6,10 @@ python:
 install:
 - pip install pyflakes
 - sudo apt-get -y update
-- sudo apt-get -y install build-essential gcc-multilib cmake python python-setuptools libffi-dev
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then git clone https://github.com/Z3Prover/z3.git; fi
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd z3; fi
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then python scripts/mk_make.py; fi
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd build; fi
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then make; fi
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo make install; fi
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd ../..; fi
+- sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev
+- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo pip install -U pip ; sudo pip install manticore ; fi
+- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo pip uninstall -y Manticore || echo "Manticore not cached" ; fi
+- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo pip install https://github.com/trailofbits/manticore/archive/master.zip ; fi
 - mkdir build
 - cd build
 - cmake ..