diff --git a/.travis.yml b/.travis.yml
index a09fd6a6d..021e1ee60 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -33,7 +33,7 @@ env:
   global:
     - TOPDIR=/home/travis/build
     - PATH=$PATH:/opt/hermit/bin:$TOPDIR/x86/bin
-    - PROXY_STR=":hermit:M:7:\\x42::`pwd`/RWTH-OS/HermitCore/tools/proxy"
+    - PROXY_STR=":hermit:M:7:\\x42::`pwd`/RWTH-OS/libhermit-0.1/tools/proxy"
     - HERMIT_ISLE=qemu
     - HERMIT_CPUS=1
     - HERMIT_MEM="512M"