They did use a different language with different pronunciation rules, though. I'm not convinced that sticking with the original spelling is obviously better. Bibis’s first name certainly doesn't accurately transliterate to Benjamin, and that's probably fine.