update to last Rust: attribute syntax