fix a Makefile bug