Cosmetic cleanup of CMakeLists.txt