Tiny makefile fix