Upgrade to latest Rust + Rust-Empty