void set_charset(string charset)
Sets the input and output charset of this file to the specified charset.