Mh, strange. I'm using the Arduino 1.0.1 IDE for Linux, which should be the latest.
Thanks for your reply, DaDrivel