Fix compilation issue under 5.3