diff -r 8b464825d2b5 -r 7eecb5231f61 lib/Tools/components
--- a/lib/Tools/components	Tue Mar 09 18:44:43 2021 +0100
+++ b/lib/Tools/components	Tue Mar 09 18:52:24 2021 +0100
@@ -145,13 +145,12 @@
         type -p curl > /dev/null || fail "Cannot download files: missing curl"
         echo "Getting \"$REMOTE\""
         mkdir -p "$(dirname "$FULL_NAME")"
-        curl --fail --silent --location "$REMOTE" > "${FULL_NAME}.tar.gz.part" || \
-          fail "Failed to download \"$REMOTE\""
-        if perl -e "exit((stat('${FULL_NAME}.tar.gz.part'))[7] == 0 ? 0 : 1);"
+        if curl --fail --silent --location "$REMOTE" > "${FULL_NAME}.tar.gz.part"
         then
-          rm -f "${FULL_NAME}.tar.gz.part"
+          mv -f "${FULL_NAME}.tar.gz.part" "${FULL_NAME}.tar.gz"
         else
-          mv "${FULL_NAME}.tar.gz.part" "${FULL_NAME}.tar.gz"
+          rm -f "${FULL_NAME}.tar.gz.part"
+          fail "Failed to download \"$REMOTE\""
         fi
       fi
       if [ -e "${FULL_NAME}.tar.gz" ]; then