Fixed PlatformEvent definition for Linux