Bring Makefile into line with the usual build infrastructure.