diff --git a/bin/init.sh b/bin/init.sh
index 4a7d539f5233..4e27168b5ef8 100755
--- a/bin/init.sh
+++ b/bin/init.sh
@@ -67,7 +67,7 @@ function set_download_command () {
     # Try curl.
     if command -v curl > /dev/null; then
         if curl --version | grep Protocols  | grep https > /dev/null; then
-	       DOWNLOAD_COMMAND='curl -fLSs'
+	       DOWNLOAD_COMMAND='curl -fLSsO'
 	       return
         fi
         echo curl does not support https, will try wget for downloading files.