diff --git a/travis/build.sh b/travis/build.sh
index 9dca49549..52fe4d64f 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -43,14 +43,14 @@ linux)
     set +e
 
     # Execute main process
-    timeout $TIMEOUT_LINUX docker exec storm bash -c "
+    docker exec storm bash -c "
         export CONFIG=$CONFIG;
         export COMPILER=$COMPILER;
         export N_JOBS=$N_JOBS;
         export STLARG=;
         export OS=$OS;
         cd /opt/storm;
-        travis/build_helper.sh $1"
+        timeout $TIMEOUT_LINUX ./travis/build_helper.sh $1"
     EXITCODE=$?
     ;;
 
diff --git a/travis/build_carl.sh b/travis/build_carl.sh
index 2918a4af7..37be2a986 100755
--- a/travis/build_carl.sh
+++ b/travis/build_carl.sh
@@ -18,14 +18,14 @@ linux)
     set +e
 
     # Execute main process
-    timeout $TIMEOUT_LINUX docker exec carl bash -c "
+    docker exec carl bash -c "
         export CONFIG=$CONFIG;
         export COMPILER=$COMPILER;
         export N_JOBS=$N_JOBS;
         export STLARG=;
         export OS=$OS;
         cd /opt/;
-        ./build_carl_helper.sh"
+        timeout $TIMEOUT_LINUX ./build_carl_helper.sh"
     ;;
 
 osx)