small cmake fix