SurferTim, thank you for posting that. I just ran into this problem on Linux Mint 12, after manually upgrading from the Arduino 022 it had in the package manager to Arduino 1.0. Googled for my problem and found your solution. It worked great. Thanks.
Wonder why 1.0 isn't in the package manager yet?