makefile correctness is good