Update for String::push_char rename
Merge pull request #44 from cmr/master

Update for String::push_char rename