compilatex 5.2