Use PLATFORM_WINDOWS (in preference to WIN32) for consistency with the other libraries