Fix __attribute__ usage

Requires two sets of parentheses, not one.  ...I think