Bugfix in split(); adding Builtin.toUtf8(String)