LC_ID_DYLIB of Mac prebuild dylib (maybe) is wrong

[potatojuicemachine]

In the MACOSX prebuild the LC_ID_DYLIB of the RPATH of the libz3.dylib is (maybe) wrong.

if I look at the dylib with otool -l libz3.dylib it shows

Load command 3
cmd LC_ID_DYLIB
cmdsize 40
name libz3.dylib (offset 24)
time stamp 1 Thu Jan  1 01:00:01 1970
current version 0.0.0
compatibility version 0.0.0

Instead it should be like this

Load command 3
cmd LC_ID_DYLIB
cmdsize 40
name @rpath/libz3.dylib (offset 24)
time stamp 1 Thu Jan  1 01:00:01 1970
current version 0.0.0
compatibility version 0.0.0

If I try to link libz3.dylib into a executable, the rpath of the executable isn't correctly set and it can't find the libz3.dylib at runtime.

This only happens with the prebuilds and not if I build it locally.

I wrote maybe because im not sure if this behavior is intentionally.

Edit:
Refactored code to multiline

[NikolajBjorner]

I am unsure what to do with this report.
The source for the pre-builds is in the scripts directory.
The release.yml calls the mk_unix_dist.py script for MacOS.
You can run these scripts on your own and observe how it creates makefiles and then feel free to upload a pull request with what you deem is a fix. I am not sure whether this has impacted any Mac users.