Two more instances of Makefile.decl