tiny change in makefile