Give the Makefile the conventional name; nice side effect is that it’s easier to use!