fix renaming OTString -> String for Android