redhatが日本のディストリビュータとは知らなかった