texlab 3.3.2 -> 4.0.0