It is worth fixing txn.c in the same patchset. txn_add_redo(), shouldn't work with synchro requests anymore. Probably some other things can be simplified too. You need to look at txn.c history to see what else was added here related to writing synchro requests, and remove it.