export LD_LIBRARY_PATH=@Z3LIBPATH@:$LD_LIBRARY_PATH
export DYLD_LIBRARY_PATH=@Z3LIBPATH@:$DYLD_LIBRARY_PATH