rename file to make the arduino ide happy