diff --git a/.travis.yml b/.travis.yml
index 2668108fd..b3db61be9 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -23,6 +23,8 @@ script:
   - sudo dpkg -i ../libhermit*_amd64.deb
   - make -j2 examples
   - if [ "$TRAVIS_BRANCH" != "master" ]; then make test; fi
+  - ls -la /tmp
+  - cat /tmp/hermit*
 
 deploy:
   on: master