CTAN update: platex