Name change in Makefile.