diff --git a/.travis.yml b/.travis.yml
index e215c0ffe..ca937b1ee 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -150,7 +150,8 @@ matrix:
         - make clean
         - make USE_Z3=yes -j2 all
         - ./testrunner TestExprEngine
-        - python3 test/bug-hunting/cve.py
+        # FIXME: this is slowish
+        #- python3 test/bug-hunting/cve.py
         - git clone https://github.com/regehr/itc-benchmarks.git ~/itc
         - python3 test/bug-hunting/itc.py
         - mkdir ~/juliet