For anyone reading this: this prior HN post links to the fix, which is a patch for the existing software.