Fix a bug in raw_ostream::write(char) introduced by the change to