Fix compilation error with latest rustc