Fix build with current Rust