I've followed the instructions to build the files on Ubuntu machine. That machine is headless, so I used tools/copy-to-arduino.sh file as an example to copy over the ...