Use PLATFORM_EMSCRIPTEN for consistency with waf-tools