diff --git a/.travis.yml b/.travis.yml
index 58f0cb4..b7d4e37 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,13 +10,13 @@ install:
 - sudo pip2 install -U pip
 - sudo pip2 install z3-solver
 - sudo pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip
-- sudo pip2 install cffi==1.7.0 pycparser==2.18
+- sudo pip2 install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26
 - mkdir build
 - cd build
 - cmake ..
 - sudo make install
-- sudo pip2 uninstall -y pycparser==2.19
-- sudo pip2 install pycparser==2.18
+#- sudo pip2 uninstall -y pycparser==2.19
+#- sudo pip2 install pycparser==2.18
 - cd ..
 env:
 - TASK=ARITHMETIC