/math/z3/files/
../
patch-scripts_mk__util.py
patch-src_util_memory__manager.cpp