Small differences between Arduino and sconsduino