diff --git a/Jenkinsfile b/Jenkinsfile
index 80972cf897e..841f8dee7ed 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -765,7 +765,10 @@ def delete() {
 }
 
 def fixPermissions(location) {
-  sh(label: 'Fix permissions', script: "script/fix_permissions.sh ${location}")
+  sh(label: 'Fix permissions', script: """#!/usr/bin/env bash
+    source ./dev-tools/common.bash
+    docker_setup
+    script/fix_permissions.sh ${location}""")
 }
 
 def makeTarget(String context, String target, boolean clean = true) {