Remove historical leftovers from the Makefile.