termux-packages/packages/z3
..
build.sh