tiny tweak of makefile