Fixing the GCC attributes