termux-packages/packages/z3
..
build.sh
scripts-mk_util.py.patch