fix String.from_char_list! deprecation warning