diff --git a/shared/c-stdaux/src/c-stdaux.h b/shared/c-stdaux/src/c-stdaux.h
index a02aed9c08..08d155cebc 100644
--- a/shared/c-stdaux/src/c-stdaux.h
+++ b/shared/c-stdaux/src/c-stdaux.h
@@ -36,7 +36,9 @@ extern "C" {
 #include <limits.h>
 #include <stdalign.h>
 #include <stdarg.h>
+#if 0 /* NM_IGNORED */
 #include <stdatomic.h>
+#endif /* NM_IGNORED */
 #include <stdbool.h>
 #include <stddef.h>
 #include <stdio.h>