Arduino IDE running on Ubuntu 12.04