Arduino IDE doesn't like dashes in filenames