A tiny fix in cmake.
XML update.
Fixes wrt. current rc branch.