Makefile target name tweak