Fix platform-specific json