Though most software is available on the Raspberry Pi through the use of the APT repository, for some reason the version of the Arduino IDE is rather old, and possibly non standard.
To obtain the latest version you need to grab it from the Arduino web site here.
Follow the instructions and remember to choose the com port.
