correct tex engine for cloud compilation