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.
f5e89c88d2