Another minor tweak at makefile