Small improvement to makefile