fix curl call in fetchruntime script

bin/fetchruntime.cmd

@@ -733,7 +733,7 @@ if [[ "$runtime_available" -eq 1 ]]; then
     #test win32
     echo "Attempting to download $url"
     #wget $url -O $output
-    curl -SL "$output" "$url"
+    curl -SL --output "$output" "$url"
     if [[ $? -eq 0 ]]; then
         echo "File downloaded to $output"
     else

src/scriptapps/fetchruntime.bash

@@ -58,7 +58,7 @@ if [[ "$runtime_available" -eq 1 ]]; then
     #test win32
     echo "Attempting to download $url"
     #wget $url -O $output
-    curl -SL "$output" "$url"
+    curl -SL --output "$output" "$url"
     if [[ $? -eq 0 ]]; then
         echo "File downloaded to $output"
     else