One more tiny cleanup to Makefile.