diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java
index 6f14eff27..920d0e068 100644
--- a/arduino-core/src/processing/app/BaseNoGui.java
+++ b/arduino-core/src/processing/app/BaseNoGui.java
@@ -893,7 +893,7 @@ public class BaseNoGui {
     PApplet.saveStrings(temp, strArray);
 
     try {
-      file = file.getCanonicalFile();
+      file = file.toPath().toRealPath().toFile().getCanonicalFile();
     } catch (IOException e) {
     }