Renamed Arduino files to make Arduino IDE happy