Fix a bug in makefile