AFAIK this is why the source file encoding is us-ascii, not utf8