Install the newest official Arduino IDE. Optimized for the Raspberry Pi.