diff --git a/gui/Scyther/Scyther.py b/gui/Scyther/Scyther.py
index 56e8cc7..6203ca7 100755
--- a/gui/Scyther/Scyther.py
+++ b/gui/Scyther/Scyther.py
@@ -175,7 +175,9 @@ def getScytherBackend():
         # Check if there is an ARM version available at scyther-mac-arm
         # Otherwise, just fallback to the default scyther-mac which is the
         # Intel version for backwards-compatibility reasons.
-        if platform.processor().startswith("arm") and os.path.exists(getBinDir(),"scyther-mac-arm"):
+        has_arm_build = os.path.exists(os.path.join(getBinDir(),"scyther-mac-arm"))
+
+        if platform.processor().startswith("arm") and has_arm_build:
             scythername = "scyther-mac-arm"
         else:
             scythername = "scyther-mac"