compiler: Don't encode non-ASCII characters in identifiers.