diff --git a/.build/PreRelease.java b/.build/PreRelease.java
old mode 100755
new mode 100644
diff --git a/.build/setup-jbang.sh b/.build/setup-jbang.sh
index 500947b52..78bd8e5b7 100755
--- a/.build/setup-jbang.sh
+++ b/.build/setup-jbang.sh
@@ -1,4 +1,4 @@
 #!/bin/bash
 
 curl -s "https://get.sdkman.io" | bash
-source ~/.sdkman/bin/sdkman-init.sh && sdk install jbang
+source ~/.sdkman/bin/sdkman-init.sh && sdk install jbang && echo "👍"
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 9c2c188df..b92d3dc60 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -62,7 +62,7 @@ jobs:
 
       # Preparation steps
       - name: Run pre-release checks
-        run: .build/PreRelease.java --token=${{ secrets.GITHUB_TOKEN }} --release-version=${{ github.event.inputs.version }}
+        run: jbang .build/PreRelease.java --token=${{ secrets.GITHUB_TOKEN }} --release-version=${{ github.event.inputs.version }}
       - name: Bump to the release version
         run: .build/bump-to-release-version.sh
       - name: Check that the project builds (no tests)