Switch from deprecated push_char() to push()

cc #634