small fix to Makefile