Actually let's use a Makefile.

There are already a few Makefiles in the directory hierarchy, so using a Makefile
seems more natural.