small fix to makefile