mini fix for Makefile