More CMakeLists fixes related to coverage data generation.