Tiny change to makefile