libz3.dylib
libz3java.dylib
