CTAN update: prtec