replace non-ASCII characters in header