compilatex 4.0