Re: [PATCH] Include vmcore scripts in EXTRA_DIST