minor Makefile adjustment