Upgrade to current rust: use the new inner attributes syntax