Updated reference to stdatomic.h