update mpp_charstream.ml