translation files of the Arduino IDE