spotted by nigel@
the newlib C library, and AVR32-specific header files. With suggestions from espie@ and aja@ ok aja@