If we're running on a GCC older than 4.9, then we won't have the stdatomic.h available. We can just use a full barrier instead using __sync_synchronize() to get the same effect, albeit slower.