fix Arduino sketch name

Accessing an Arduino sketch requires the file to be located in a
directory of the same name.