fix a bug in Makefile