A more correct Makefile