Add -bruch patch to fix use-after-free problems in the bruch code.
Add -int32 patch to fix problems on 64-bit systems.
Add -rec01 patch to fix return values of rec01().
Add -seq-point patch to fix undefined behavior.
Add -deref patch to fix a pointer to character comparison.