Use new attribute syntax (part of Rust upgrade)

Based on #13.