diff --git a/.travis.yml b/.travis.yml
index 9dc83af..d83e607 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -7,8 +7,8 @@ install:
 - pip install pyflakes
 - sudo apt-get -y update
 - sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev
-- sudo pip install -U pip ; sudo pip install manticore
-- sudo pip uninstall -y Manticore || echo "Manticore not cached"
+- sudo pip2 install -U pip
+- sudo pip install z3-solver
 - sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip
 - mkdir build
 - cd build
diff --git a/bin/setup.py.in b/bin/setup.py.in
index f1eca5b..b926ffa 100644
--- a/bin/setup.py.in
+++ b/bin/setup.py.in
@@ -30,7 +30,7 @@ setuptools.setup(
     author_email="peter@trailofbits.com",
     license="Apache-2.0",
     keywords="tdd testing symbolic execution",
-    install_requires=['claripy==7.8.6.16','angr==7.8.7.1', 'manticore'],
+    install_requires=['claripy==7.8.6.16','angr==7.8.7.1', 'manticore==0.1.10'],
     entry_points={
         'console_scripts': [
             'deepstate = deepstate.main_manticore:main',