Issue #4008: Fix problems with non-ASCII source files.
3 files changed