diff --git a/extras/scripts/publish.sh b/extras/scripts/publish.sh
index 048e5f54..06ef9913 100755
--- a/extras/scripts/publish.sh
+++ b/extras/scripts/publish.sh
@@ -2,6 +2,8 @@
 
 set -eu
 
+which awk sed jq 7z curl perl >/dev/null
+
 cd "$(dirname "$0")/../.."
 
 if ! git diff --quiet --exit-code; then