diff --git a/tools/release.sh b/tools/release.sh
index 04dffa4b91fd4fb027d2d45774832c2e9c67ece4..9bfbfe843896f67c5d3e277381a8ff76d3188f43 100755
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -60,9 +60,7 @@ then
 fi
 
 wget https://raw.githubusercontent.com/Kentzo/git-archive-all/master/git_archive_all.py
-mv git_archive_all.py git-archive-all
-chmod +x git-archive-all
-./git-archive-all --force-submodules spm-$RELEASE_NAME.tar.gz
+python3 git_archive_all.py --force-submodules spm-$RELEASE_NAME.tar.gz
 
 GETURL=`echo curl --request POST --header \"PRIVATE-TOKEN: $RELEASE_TOKEN\" --form \"file=\@spm-$RELEASE_NAME.tar.gz\" https://gitlab.inria.fr/api/v4/projects/$CI_PROJECT_ID/uploads`
 MYURL=`eval $GETURL | jq .url | tr -d '"'`