makefile: avoid repetition of command-line options