Updated to latest version of rust-empty