Fixes to karto-cmake.