Small improvement in Makefile