Bugfix * Fix CMake failure on Windows because of a native directory separator. Fixes #10502.