Use python's system.platform() for CMAKE_SYSTEM_NAME