diff --git a/arduino/resources/install.go b/arduino/resources/install.go
index 165020250b3..188a8d2f1f5 100644
--- a/arduino/resources/install.go
+++ b/arduino/resources/install.go
@@ -91,7 +91,10 @@ func (release *DownloadResource) Install(downloadDir, tempPath, destDir *paths.P
 
 	// Move/rename the extracted root directory in the destination directory
 	if err := root.Rename(destDir); err != nil {
-		return fmt.Errorf(tr("moving extracted archive to destination dir: %s", err))
+		// Copy the extracted root directory to the destination directory, if move failed
+		if err := root.CopyDirTo(destDir); err != nil {
+			return fmt.Errorf(tr("moving extracted archive to destination dir: %s", err))
+		}
 	}
 
 	// TODO