CTAN update: penrose