f5e89c88d2
In some build environments, the patch command would revert the diff... Patching file src/core/CMakeLists.txt using Plan A... Reversed (or previously applied) patch detected! Assume -R? [y] Hunk #1 succeeded at 1317 with fuzz 2 (offset 424 lines). ... and thus reintroduce the problem the diff was intended to fix.