diff --git a/.woodpecker/mk_release b/.woodpecker/mk_release
index 4f3bf41..47a1ecf 100755
--- a/.woodpecker/mk_release
+++ b/.woodpecker/mk_release
@@ -189,13 +189,12 @@ else
     $ISABELLE components -u $ISADOF_WORK_DIR
 fi
 
-$ISABELLE_TOOL scala_build
-
 VARS=`$ISABELLE getenv ISABELLE_TOOL`
 for i in $VARS; do
         export "$i"
 done
 
+$ISABELLE_TOOL scala_build
 ISABELLE_VERSION="Isabelle$($ISABELLE_TOOL java isabelle.dof.DOF isabelle_version)"
 DOF_VERSION="$($ISABELLE_TOOL java isabelle.dof.DOF dof_version)"