Using the Arduino IDE with the Galileo board