diff --git a/build-support/factor.sh b/build-support/factor.sh
index 3a5fb4e253..38bdc8183c 100755
--- a/build-support/factor.sh
+++ b/build-support/factor.sh
@@ -68,7 +68,7 @@ set_downloader() {
     if [[ $? -ne 0 ]] ; then
         DOWNLOADER=wget
     else
-        DOWNLOADER="curl -O"
+        DOWNLOADER="curl -f -O"
     fi
 }