minor change in makefile