small Makefile change