It's not really a good idea to use different charsets for the file contents and it's headers. Rev: server/protocols/http.pike:1.339