Fixup jwack for redo-exec