Update the issue with a quick patch to cmake to solve the problem