Rename file to match repository name because Arduino.app is stupid