#! @shell@ -e
echo "downloading $url into $out"
$curl --fail --location --max-redirs 20 "$url" > "$out"