--- /dev/null
+#!/usr/bin/env bash
+
+# We want to catch any unexpected failure, and exit immediately
+set -e
+
+# Download helper for wget, to be called from the download wrapper script
+#
+# Call it as:
+# .../wget [-q] OUT_FILE URL
+#
+# Environment:
+# WGET : the wget command to call
+
+verbose=-v
+while getopts :q OPT; do
+ case "${OPT}" in
+ q) verbose=-q;;
+ \?) printf "unknown option '%s'\n" "${OPTARG}" >&2; exit 1;;
+ esac
+done
+shift $((OPTIND-1))
+
+output="${1}"
+url="${2}"
+
+${WGET} ${verbose} -O "${output}" "${url}"