diff --git a/.travis.yml b/.travis.yml
index 3fcd3f9..2cae318 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,6 +9,6 @@ install:
 - cd build
 - cmake ..
 - make
-- sudo make install
+- python setup.py install
 script:
-- deepstate-angr examples/IntegerArithmetic
+- deepstate-manticore examples/IntegerArithmetic