format CMakeLists.txt