minor: Makefile tweak