Minor cmake issue