diff --git a/scripts/setup/macos/install_viewer.sh b/scripts/setup/macos/install_viewer.sh
index d58dbf58cb07..b722ab4cc22c 100755
--- a/scripts/setup/macos/install_viewer.sh
+++ b/scripts/setup/macos/install_viewer.sh
@@ -18,5 +18,8 @@ set -x
 
 # brew doesn't recognize specific versions of viewer
 # Build from source, since there's only a macos-12 bottle which doesn't seem to work.
+# Install Python 3.12 first while ignoring errors: the system may provide this
+# version, which will hinder brew from installing symlinks
+brew install python@3.12
 brew install -s aws/tap/cbmc-viewer
 echo "Installed: $(cbmc-viewer --version)"