Convert source file name to unicode format when supporting unicode.
This version passes sanity test.
Add tanity-check (version of sanity-check for testing unicode support).