Makefile: configurable tool prefix TPFX