CTAN update: platexcheat