Use own fork of Arduino-Makefile.