Slightly modify the Makefile.