Alright, I figured it out. It was no more complicated than updating the Arduino IDE and the avr-gcc compiler from the outdated versions (Arduino IDE 1.0.1) automatically installed by the apt-get. The instructions for updating the Arduino IDE and the compilers can be found here: https://nicohood.wordpress.com/2015/01/24/installing-avr-gcc-4-8-1-and-arduino-ide-1-6-on-raspberry-pi/