use GCC 4.2.3 by default for AVR32