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