diff --git a/src/api/python/setup.py b/src/api/python/setup.py
index 28b6929e88..fd2317996d 100644
--- a/src/api/python/setup.py
+++ b/src/api/python/setup.py
@@ -83,9 +83,10 @@ BINS_DIR = os.path.join(ROOT_DIR, 'bin')
 
 # determine platform-specific filenames
 
+EXECUTABLE_FILE_FALLBACKS = []
 if BUILD_PLATFORM in ('sequoia','darwin', 'osx'):
     LIBRARY_FILE = "libz3.dylib"
-    EXECUTABLE_FILE = "z3"
+    EXECUTABLE_FILE = "z3"    
 elif BUILD_PLATFORM in ('win32', 'cygwin', 'win'):
     LIBRARY_FILE = "libz3.dll"
     EXECUTABLE_FILE = "z3.exe"
@@ -98,7 +99,6 @@ elif BUILD_PLATFORM in ('emscripten',):
 else:
     LIBRARY_FILE = "libz3.so"
     EXECUTABLE_FILE = "z3"
-    EXECUTABLE_FILE_FALLBACKS = []
 
 # check if cmake is available, and pull it in via PyPI if necessary
 SETUP_REQUIRES = []