fix android serialization