compilatex