I tried installing z3 (version 4.14.1) via the opam package manager. I am on MacOS 15.4 + arm64.
The opam switch that I am in has a name that is 13 characters long. Installation fails due to issues with install-name-tool.

# install_name_tool -id $(ocamlfind printconf destdir)/stublibs/libz3.dylib libz3.dylib
# error: /Library/Developer/CommandLineTools/usr/bin/install_name_tool: changing install names or rpaths can't be redone for: libz3.dylib (for architecture arm64) because larger updated load commands do not fit (the program must be relinked, and you may need to use -headerpad or -headerpad_max_install_names)

If I try installing z3 with a shorter switch name then it succeeds. Probably the issue is caused due to some changes in the new MacOS releases.
On the earlier MacOS versions, z3 got installed via opam with no issues even on switches with longer names.