$ avr32-gcc --version
avr32-gcc (AVR 32 bit GNU Toolchain-3.4.0.332-655f90f) 4.4.3
Copyright (C) 2010 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
Resolves gh-14 too.