diff --git a/.travis.yml b/.travis.yml
index a7532b05..dfc98ba8 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -53,7 +53,7 @@ before_install:
 # TODO: We install xkbcommon here, until Travis use an up-to-date enough Ubuntu
 # TODO: We install libxcb-ewmh-dev here, until it is whitelisted again in Travis
 install:
-    - sudo apt-get install -y --force-yes libxkbcommon-dev libxkbcommon-x11-dev libxcb-ewmh-dev flex/trusty-backports libfl-dev/trusty-backports texi2html
+    - sudo apt-get install -y --force-yes libxkbcommon-dev libxkbcommon-x11-dev libxcb-ewmh-dev flex/trusty-backports libfl-dev/trusty-backports 
 
 before_script:
     - git clone --recursive https://github.com/Airblader/xcb-util-xrm.git
@@ -65,7 +65,7 @@ before_script:
     - git clone https://github.com/libcheck/check/ -b 0.11.0
     - cd check
     - autoreconf -i
-    - ./configure --prefix=/usr/
+    - TEX="false" ./configure --prefix=/usr/
     - make
     - make install
     - cd -