small change in Makefile: