Hi, it seems AVR has finally updated the avr-libc in their GNU Toolchain: http://distribute.atmel.no/tools/opensource/Atmel-AVR-GNU-Toolchain/3.5.4/
Even better, they include 2.0.0 now. Would it be possible to update the Debian packages accordingly? Thanks!