diff --git a/.travis.yml b/.travis.yml
index c9d0b5d..2d4a3ed 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -14,8 +14,8 @@ install:
 - cd build
 - cmake ..
 - make
-- sudo pip uninstall claripy
-- sudo pip install claripy==7.8.6.16
+- sudo pip uninstall z3-solver
+- sudo pip install z3-solver==4.5.1.0.post2
 - python setup.py install
 - cd ..
 env: