Fixed handlint UTF8 encoding of file names