Minor change to makefile