--- .travis.yml.orig	2017-11-08 14:23:22.036394000 +0100
+++ .travis.yml	2017-11-08 15:26:19.264520000 +0100
@@ -37,7 +37,7 @@
 
 script:
   - make xref
-  - make tests
+  - make ct-fast
 
 after_failure:
   - |