DIRTY HACK to fix diff with non-ascii filenames.