Language changes: String::push_char is deprecated