Upgrade to latest Rust-Empty