/tool_bin/lib/linux/
../
z3