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