Probably unrelated to your problem, but note that the Arduino IDE you get from the package manager (e.g. apt-get install arduino) is modified and outdated. You should always use the official Arduino IDE downloaded from http://www.arduino.cc/en/Main/Software.