Update to current rust: use the new attributes syntax.