Fix some mistakes in CMake files