diff --git a/script/actions_utils/gh_dl_release.sh b/script/actions_utils/gh_dl_release.sh
index 9107bfc65..e939560d2 100755
--- a/script/actions_utils/gh_dl_release.sh
+++ b/script/actions_utils/gh_dl_release.sh
@@ -120,6 +120,6 @@ wget --auth-no-challenge --header='Accept:application/octet-stream' \
 err_code=$?
 
 echo "Done."
-echo "CONCRETEFHE_COMPILER_TAG=${release_tag}" >> "${COMPILER_TAG_OUTPUT_FILE}"
+echo "${release_tag}" >> "${COMPILER_TAG_OUTPUT_FILE}"
 
 exit "${err_code}"