Little fix to makefile