For anyone else who is affected by this issue, I've created this workaround script which repairs the broken cmake files.
For anyone else who is affected by this issue, I've created this workaround script which repairs the broken cmake files.