Use new attributes syntax in properties.rs