Debian/Ubuntu packaging of arduino-mk