/math/z3/patches/
../
patch-scripts_mk__util.py