update to last Rust: attributes syntax