This should be defined someplace else, probably Makefile.config