Patch cmake bug