Fix the use of __attribute___