fix silly Makefile bug