fix a makefile bug