I guess it's safe to include system headers under GCC