diff --git a/.travis.yml b/.travis.yml
index ce889f30..59fed01e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -30,5 +30,6 @@ install:
   - opam install --deps-only containers
 script:
   - make build
-  - ./configure --enable-unix --enable-thread --enable-tests
+  - opam install sequence qcheck qtest gen
+  - ./configure --enable-unix --enable-thread --enable-tests --disable-bench
   - make test