replaced push_char by push  as its now deprecated in last version of rust