One forgotten instance of Makefile.decl