Makefile: one more tweak