trivial cmake fix