fix avr32 build breakage