use gcc 4.3.5 for avr32