Add binpatch.py