[PATCH] Include vmcore scripts in EXTRA_DIST