diff --git a/.travis.yml b/.travis.yml
index 450e15a2d..def02f229 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -15,7 +15,6 @@ cache:
   directories:
   - build
   - travis/mtime_cache
-  - src/storm/utility/storm-version.cpp
 
 # Enable docker support
 services:
diff --git a/travis/mtime_cache/globs.txt b/travis/mtime_cache/globs.txt
index 794ac4090..cd0d4d2ff 100644
--- a/travis/mtime_cache/globs.txt
+++ b/travis/mtime_cache/globs.txt
@@ -1,3 +1,4 @@
 src/**/*.{%{cpp}}
 src/**/CMakeLists.txt
 resources/3rdparty/**/*.{%{cpp}}
+resources/3rdparty/eigen-3.3-beta1/StormEigen/*