Another minor makefile improvement