patch: emit binary patches (optionally)