String::push_char is deprecated