Use AVR tools from Arduino package, now included in Linux.