Correct compilation issue with GCC attributes