Wire utf-8 encoding, so unicode filenames work

Sets -Dfile.encoding=UTF-8 by default.

Closes #8847