fixup cmake issue