Fix zero.rs to compile with latest Rust (!)