Minor CMakefile cleanup: no one uses XML