gzipで圧縮するともとのファイル名が入るので、 2つのファイルA,Bが同じ内容だったとき、 それらを圧縮してから比較すると内容が異なってしまう。 filediet を使って重複ファイルを消すときうまくいかない。 bzip2だとうまくいく。