Z3 shared libraries were installed at /usr/local/lib, make sure this
directory is in your LD_LIBRARY_PATH environment variable.
Only applicable on Linux (and setting the OS X equivalent of LD_LIBRARY_PATH is an absolutely wonderful way to break your system). OS X compiles full paths to shared objects into binaries, and provides a tool to change them if the need arises (install_name_tool).