Eliminate duplication of flags in Makefile