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