diff --git a/src/MICore/LaunchOptions.cs b/src/MICore/LaunchOptions.cs
index f56c77e60..12f76d1d1 100644
--- a/src/MICore/LaunchOptions.cs
+++ b/src/MICore/LaunchOptions.cs
@@ -552,11 +552,13 @@ private static string ResolveFromPath(string command)
                     return candidate;
                 }
 
-                string exeCandidate = candidate + ".exe";
-
-                if (PlatformUtilities.IsWindows() && File.Exists(exeCandidate))
+                if (PlatformUtilities.IsWindows() && String.IsNullOrEmpty(Path.GetExtension(command)))
                 {
-                    return exeCandidate;
+                    string exeCandidate = candidate + ".exe";
+                    if (File.Exists(exeCandidate))
+                    {
+                        return exeCandidate;
+                    }
                 }
             }