a70d0e6c97
allows savecore.c@1.72 to find the right dumpdev in case it was changed from the default - hi ad@
allows savecore.c@1.72 to find the right dumpdev in case it was changed from the default - hi ad@