A small Makefile enhancement