diff --git a/.travis.yml b/.travis.yml
index def02f229..450e15a2d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -15,6 +15,7 @@ cache:
   directories:
   - build
   - travis/mtime_cache
+  - src/storm/utility/storm-version.cpp
 
 # Enable docker support
 services:
diff --git a/travis/postsubmit-helper.sh b/travis/postsubmit-helper.sh
index 5f57a036a..7f4d9c2a3 100755
--- a/travis/postsubmit-helper.sh
+++ b/travis/postsubmit-helper.sh
@@ -31,6 +31,8 @@ run() {
     # Make resources
     travis_fold start make_dep
     VERBOSE=1 make resources -j$N_JOBS
+    VERBOSE=1 make test-resources -j$N_JOBS
+    VERBOSE=1 make l3pp_ext -j$N_JOBS
     travis_fold end make_dep
     ;;