psgi_header() updates charset() as "side effect"