Fix compilation error with 5.5