Set charset in the result mapping returned from try_get_file(). Rev: server/base_server/configuration.pike:1.590