Fix platform.cmake.