Makefile: avoid some duplication