CMake: fix name, and some other stuff