はじめて7入れて気がついたんだがplatexって消えた？
6ではtexlive-east-asianだったかに入ってたはずなんだが