Remove depreciated use of push_char