A rather ugly fix to get ArduinoSketch files to install