Index: packages/isoinfra/current/include/float.h
===================================================================
RCS file: /cvs/ecos/ecos/packages/isoinfra/current/include/float.h,v
retrieving revision 1.4
diff -u -r1.4 float.h
--- packages/isoinfra/current/include/float.h	29 Jan 2009 17:49:50 -0000	1.4
+++ packages/isoinfra/current/include/float.h	21 Aug 2013 11:01:00 -0000
@@ -61,6 +61,7 @@
 //======================================================================
 */
 
+__extension__
 #include_next <float.h>
 
 /* EOF float.h */
Index: packages/isoinfra/current/include/limits.h
===================================================================
RCS file: /cvs/ecos/ecos/packages/isoinfra/current/include/limits.h,v
retrieving revision 1.8
diff -u -r1.8 limits.h
--- packages/isoinfra/current/include/limits.h	13 May 2009 08:21:35 -0000	1.8
+++ packages/isoinfra/current/include/limits.h	21 Aug 2013 11:01:00 -0000
@@ -218,6 +218,7 @@
 
 /* Secondly only include if we haven't already been included by it. */
 #ifndef _GCC_LIMITS_H_
+__extension__
 # include_next <limits.h>
 #endif
 
Index: packages/isoinfra/current/include/stdarg.h
===================================================================
RCS file: /cvs/ecos/ecos/packages/isoinfra/current/include/stdarg.h,v
retrieving revision 1.4
diff -u -r1.4 stdarg.h
--- packages/isoinfra/current/include/stdarg.h	29 Jan 2009 17:49:50 -0000	1.4
+++ packages/isoinfra/current/include/stdarg.h	21 Aug 2013 11:01:00 -0000
@@ -61,6 +61,7 @@
 //======================================================================
 */
 
+__extension__
 #include_next <stdarg.h>
 
 /* EOF stdarg.h */
Index: packages/isoinfra/current/include/stddef.h
===================================================================
RCS file: /cvs/ecos/ecos/packages/isoinfra/current/include/stddef.h,v
retrieving revision 1.5
diff -u -r1.5 stddef.h
--- packages/isoinfra/current/include/stddef.h	29 Jan 2009 17:49:50 -0000	1.5
+++ packages/isoinfra/current/include/stddef.h	21 Aug 2013 11:01:00 -0000
@@ -60,6 +60,7 @@
 //======================================================================
 */
 
+__extension__
 #include_next <stddef.h>
 
 /* EOF stddef.h */