minor cmake fix