Makefile corrigenda.