Make savecore work wagain by using the new 64 bit dumplo (_dumplo64).