Small fix  to makefile