compilatex 6.0