texlive-dummyの名前を変更します。