Programming Atmel at32uc3 devices on ubuntu