Make curl follow redirections. wget already does.

user_tools/linux/recovery.sh

Index: user_tools/linux/recovery.sh
diff --git a/user_tools/linux/recovery.sh b/user_tools/linux/recovery.sh
index 9273076cd21bb961f6c270f09719a6efda38ad83..c0524c3c18a82a8a499417891d498b50ee92965a 100755
--- a/user_tools/linux/recovery.sh
+++ b/user_tools/linux/recovery.sh
@@ -191,10 +191,10 @@ fetch_url() {
     if [ -z "$resume" ]; then
       # quietly fetch a new copy each time
       rm -f "$filename"
-      curl -f -s -S -o "$filename" "$url"
+      curl -L -f -s -S -o "$filename" "$url"
     else
       # continue where we left off, if possible
-      curl -f -C - -o "$filename" "$url"
+      curl -L -f -C - -o "$filename" "$url"
       # If you give curl the '-C -' option but the file you want is already
       # complete and the server doesn't report the total size correctly, it
       # will report an error instead of just doing nothing. We'll try to work