If the shim Makefile in $BUILD fails to locate or load the full makefile of the source dir, the error message is not very helpful. We could expand on this, explain what might have happened, and how to correct this.