Fix compilation of 4.02