diff --git a/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts b/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts
index 335899d70..240f0595d 100644
--- a/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts
+++ b/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts
@@ -180,8 +180,8 @@ export class ElectronMainApplication extends TheiaElectronMainApplication {
     if (!stats) {
       return undefined;
     }
-    if (stats.isFile() && path.endsWith('.ino')) {
-      return path;
+    if (stats.isFile()) {
+      return path.endsWith('.ino') ? path : undefined;
     }
     try {
       const entries = await fs.readdir(path, { withFileTypes: true });
@@ -355,10 +355,7 @@ export class ElectronMainApplication extends TheiaElectronMainApplication {
     argv: string[],
     cwd: string
   ): Promise<void> {
-    if (
-      !os.isOSX &&
-      (await this.launchFromArgs({ cwd, argv, secondInstance: true }))
-    ) {
+    if (await this.launchFromArgs({ cwd, argv, secondInstance: true })) {
       // Application has received a file in its arguments
       return;
     }