Arduino.mk was taken from https://github.com/sudar/Arduino-Makefile and installed into /usr/share/arduino/makefile (https://repo.oe7drt.net/dominic/Arduino-Makefile)