gitit2html: workaround of non-latin filenames