minor fix for makefile