A fix in the Makefile.