fix a bug for makefile