diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 1c310a0..c4dc88d 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -11,7 +11,7 @@
 git submodule update
 
 # Cleanup
-sudo ./waf --color=yes distclean
+sudo env "PATH=$PATH" ./waf --color=yes distclean
 
 if [[ $JOB_NAME != *"code-coverage" && $JOB_NAME != *"limited-build" ]]; then
   # Configure/build in optimized mode with tests
@@ -19,14 +19,14 @@
   ./waf --color=yes build -j${WAF_JOBS:-1}
 
   # Cleanup
-  sudo ./waf --color=yes distclean
+  sudo env "PATH=$PATH" ./waf --color=yes distclean
 
   # Configure/build in optimized mode without tests
   ./waf --color=yes configure
   ./waf --color=yes build -j${WAF_JOBS:-1}
 
   # Cleanup
-  sudo ./waf --color=yes distclean
+  sudo env "PATH=$PATH" ./waf --color=yes distclean
 fi
 
 # Configure/build in debug mode with tests and without precompiled headers
@@ -41,4 +41,4 @@
 # (tests will be run against debug version)
 
 # Install
-sudo ./waf --color=yes install
+sudo env "PATH=$PATH" ./waf --color=yes install