diff --git a/arduino-core/src/cc/arduino/CompilerUtils.java b/arduino-core/src/cc/arduino/CompilerUtils.java
index 95dd47f4c..7409855a5 100644
--- a/arduino-core/src/cc/arduino/CompilerUtils.java
+++ b/arduino-core/src/cc/arduino/CompilerUtils.java
@@ -49,7 +49,9 @@ public class CompilerUtils {
       "{build.path}/{build.project_name}.with_bootloader.hex",
       "{build.path}/{build.project_name}.hex",
       "{build.path}/sketch/{build.project_name}.bin",
-      "{build.path}/{build.project_name}.bin"
+      "{build.path}/{build.project_name}.bin",
+      "{build.path}/sketch/{build.project_name}.elf",
+      "{build.path}/{build.project_name}.elf"
     );
     Optional<File> sketch = paths.stream().
       map(path -> StringReplacer.replaceFromMapping(path, prefs)).