Correct platform check in cmakelist