On Sunday, May 17, 2015 at 6:11:11 AM UTC-4, Paul Sture wrote: > > Can you please, please, please change the defaults for the relevant > compilers to Yes for the system header files. Absolutely.