tools/. patch.py