fixed deprecated push_char calls