There's no place where I use __attribute__(), so there's no need to define
it to nothing if we're not on a GNUC system.