TeX Live/WSLの名前を変更します。