Fix a cmake issue Amjith noticed.