what about the PLATFORM_OS option for Android? Should there be something here explaining that?