update for latest Rust