Change “platform.cmake” to be more resilient to “old” cmake versions