Fix args.rs for latest Rust version