The text 6130be745b45, as Debian 7 (Wheezy) shipped it.
Change a character in a String in-place
Builtins.setIndex(3kaya) on Linux now
