In case someone tries this fix and gives up without double-checking, I think there may be a typo in #4 patch - missing final paren on inserted line.
In case someone tries this fix and gives up without double-checking, I think there may be a typo in #4 patch - missing final paren on inserted line.